1. Dag Prawitz on Proofs and Meaning
پدیدآورنده : / Heinrich Wansing (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
2. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Modality (Logic)
![](/design/images/bookmore.png)
3. Essays on Non-Classical Logic
پدیدآورنده : \ Editor Heinrich Wansing
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
رده :
E-Book
,
![](/design/images/bookmore.png)
4. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Nonclassical mathematical logic,Tense (Logic),Negation (Logic)
رده :
511
,.
3
,
E77
,
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E77
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. <The> logic of information structures
پدیدآورنده : Heinrich Wansing
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Data structures
رده :
QA
76
.
9
.
W3
,
D35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. <The> logic of information structures
پدیدآورنده : Heinrich Wansing
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Data structures
رده :
QA
76
.
9
.
W3
,
D35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)